首页> 外文OA文献 >MuPAD codes which implement limit-computable functions that cannot be bounded by any computable function

【2h】

MuPAD codes which implement limit-computable functions that cannot be bounded by any computable function

机译：实现限制可计算功能的mupaD代码受任何可计算函数的限制

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Tyszka, Apoloniusz;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种 {"code":"en","name":"English","id":9}
中图分类

相似文献

外文文献
中文文献
专利

1. A lower bound on the computation complexity of characteristic functions for BCH-codes by branching programs [J] . Okolnishnikova E.A. Journal of applied and industrial mathematics . 2010,第2期

机译：通过分支程序的BCH代码的特征函数的计算复杂性下限
2. Generating functions and lower bounds on rates for limited error-correcting codes [J] . Kolesnik V.D., Krachkovsky V.Y. IEEE Transactions on Information Theory . 1991,第3期

机译：为有限的纠错码生成函数和速率下限
3. Bounded Loss Functions and the Characteristic Function Inversion Method for Computing Expected Loss [J] . Matthias H. Y. Tan Quality Technology and Quantitative Management . 2014,第4期

机译：有界损失函数和特征函数反演方法
4. Computing Interval Bounds for Statistical Characteristics Under Expert-Provided Bounds on Probability Density Functions [C] . Victor G. Krymsky International Workshop on Applied Parallel Computing . 2006

机译：在概率密度函数上专家提供的界限下计算间隔界限
5. The bounded linear calculus: A characterization of the class of polynomial-time computable functions based on bounded linear logic [D] . Pitt, Francois 1994

机译：有界线性演算：基于有界线性逻辑的多项式时间可计算函数的表征
6. The Alcaligenes eutrophus membrane-bound hydrogenase gene locus encodes functions involved in maturation and electron transport coupling. [O] . M Bernhard, E Schwartz, J Rietdorf, 1996

机译：Alcaligenes真核生物膜结合氢酶基因位点编码参与成熟和电子传输耦合的功能。
7. All functions g:N-->N which have a single-fold Diophantine representation are dominated by a limit-computable function f:N\{0}-->N which is implemented in MuPAD and whose computability is an open problem [O] . Tyszka, Apoloniusz 2015

机译：所有函数g：N - > N，具有单倍丢番图表示由极限可计算函数f：N \ {0} - > N控制在mupaD中实现，其可计算性是一个开放的问题

MuPAD codes which implement limit-computable functions that cannot be bounded by any computable function

著录项

引文网络

相似文献

相关主题

期刊订阅